∫ Symbolic Math

Computer Algebra, Symbolic Computation, Mathematical Programming, Expression Trees

Feeds to Scour
SubscribedAll
Scoured 256206 posts in 5.38 s
AI-Driven Formal Theorem Proving in the Lean Ecosystem
leandojo.org·1d
🧮Theorem Provers
Preview
Report Post
Unlocking the value of C++20 - Alex Dathskovsky
youtube.com·2h·
Discuss: r/cpp
🎓Teaching Compilers
Preview
Report Post
**Title:** Enhanced Symmetry Detection via Adaptive Graph Resonance and Temporal Correlation Analysis: A Novel Approach to Mirror Symmetry Validation in High-Dimensional Spaces
freederia.com·1h
🔗Graph Rewriting
Preview
Report Post
Stanford CS 224N | Natural Language Processing with Deep Learning
web.stanford.edu·1d
🪜Recursive Descent
Preview
Report Post
Hershey Vector Font
paulbourke.net·1d
🔢Binary Formats
Preview
Report Post
the pile of books on my desk
lollar.bearblog.dev·2d
📐Mathematical Computing
Preview
Report Post
TRUNAJOD: A text complexity library for text analysis built on spaCy — TRUNAJOD 0.1.1 documentation
trunajod20.readthedocs.io·12h
🔤Language Tokenizers
Preview
Report Post
T3X.ORG nmhbasic/index
t3x.org·13h·
Discuss: Hacker News
💻Terminal Control
Preview
Report Post
Port of Statistical Rethinking (2nd edition) code to Julia
shmuma.github.io·6h·
Discuss: Hacker News
🔍ML Language
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🎯Symbolic Execution
Preview
Report Post
The Origins and Motivations of Univalent Foundations | Ideas
ias.edu·7h
🏗️Calculus of Constructions
Preview
Report Post
Treating Functions as Vectors in Hilbert Space
hackaday.com·2d
λLambda Calculus
Preview
Report Post
Data Analyst Learning Path 2026
analyticsvidhya.com·17h
🌊Dataflow Languages
Preview
Report Post
ECP-Solutions/ASF: The first embeddable scripting language and runtime that turns VBA into a script host (with NO COM dependencies) , with C-like syntax, closures, FFI for VBA calls, and the powerfull VBA-Expressions math integration.
github.com·9h·
Discuss: Hacker News
🌉Language Interop
Preview
Report Post
Turn 1010 into 10! Build Your Own Binary‑to‑Decimal Converter
dev.to·17h·
Discuss: DEV
🔢Binary Formats
Preview
Report Post
C Right-Left Rule (Rick Ord's CSE 30
cseweb.ucsd.edu·1d
🪄C Metaprogramming
Preview
Report Post
Everything Is a Number
francescocarlucci.com·1d·
Discuss: Hacker News
📐Mathematical Computing
Preview
Report Post
Mathematicians spent 2025 exploring the edge of mathematics
newscientist.com·1d
📐Mathematical Computing
Preview
Report Post
🎲 The Automatic Grover Algorithm
lucamarx.com·1d
🎯Bit-Vector Algorithms
Preview
Report Post
Natural language processing for word sense disambiguation and information extraction
arxiv.org·19h·
Discuss: r/compsci
🧠Semantic Parsing
Preview
Report Post